$\vdash$  $\forall$$P$,$Q$,$R$:$\mathbb{P}$. ($P$ $\Leftarrow\!\Rightarrow$ $Q$) $\Rightarrow$ ($Q$ $\Leftarrow\!\Rightarrow$ $R$) $\Rightarrow$ ($P$ $\Leftarrow\!\Rightarrow$ $R$)